Bisimulation in Inquisitive Modal Logic

Bisimulation in Inquisitive Modal Logic

Inquisitive modal logic, INQML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, INQML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in ...

Inquisitive bisimulation

Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in th...

Bisimulation, Modal Logic and Model Checking Games

Inquisitive Semantics and Logic

Acknowledgments I am truly grateful to my two advisers, Jeroen Groenendijk and Dick de Jongh, without whom (needless to say, though I'll say it anyway) this thesis wouldn't have existed. I was fortunate enough to meet Jeroen early on in my days at the ILLC and to have established such a fruitful collaboration; Jeroen is an inspiring teacher and an inspired researcher, and the inquisitive progra...

A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic

Open bisimulation is the greatest bisimulation congruence for the π-calculus. In open bisimulation, free names in processes are treated as variables that may be instantiated; in contrast to late bisimulation where free names are constants. An established modal logic due to Milner, Parrow, and Walker characterises late bisimulation, that is, two processes satisfy the same set of formulae if and ...